1

Logics for reasoning about knowledge and belief

Année:
1989
Langue:
english
Fichier:
PDF, 1.65 MB
english, 1989
3

STIRDAT: A system tightly integrating relational databases and a theorem prover

Année:
2000
Langue:
english
Fichier:
PDF, 157 KB
english, 2000
4

Using COCA to build an intelligent tutoring system in simple algebra

Année:
1991
Langue:
english
Fichier:
PDF, 1.15 MB
english, 1991
6

The token reification approach to temporal reasoning

Année:
1996
Langue:
english
Fichier:
PDF, 1.09 MB
english, 1996
7

ACT-P: A configurable theorem-prover

Année:
1994
Langue:
english
Fichier:
PDF, 1.23 MB
english, 1994
8

Handling inheritance in a system integrating logic in objects

Année:
1997
Langue:
english
Fichier:
PDF, 1.84 MB
english, 1997
9

Resolution theorem proving in reified modal logics

Année:
1994
Langue:
english
Fichier:
PDF, 1.93 MB
english, 1994
10

Neural networks in the study of the brain

Année:
2006
Langue:
english
Fichier:
PDF, 285 KB
english, 2006
11

Towards a Labour Market Information System

Année:
1997
Langue:
english
Fichier:
PDF, 856 KB
english, 1997
13

MENTAL MODELS AND DISCOURSE

Année:
1982
Langue:
english
Fichier:
PDF, 653 KB
english, 1982
17

Software engineering services for export and small developing economies

Année:
2000
Langue:
english
Fichier:
PDF, 1.23 MB
english, 2000
19

BOOK REVIEW

Année:
1985
Langue:
english
Fichier:
PDF, 178 KB
english, 1985
20

Articles

Année:
2009
Langue:
english
Fichier:
PDF, 609 KB
english, 2009
22

IT 2008

Année:
2010
Langue:
english
Fichier:
PDF, 718 KB
english, 2010
24

Comparison of computing programs at the level of intent

Année:
2005
Langue:
english
Fichier:
PDF, 186 KB
english, 2005
25

Outcomes-based computing accreditation criteria

Année:
2006
Langue:
english
Fichier:
PDF, 35 KB
english, 2006
26

Outcomes-based computing accreditation

Année:
2007
Langue:
english
Fichier:
PDF, 176 KB
english, 2007
27

The importance of explicitly stating educational objectives in computer science curricula

Année:
2003
Langue:
english
Fichier:
PDF, 248 KB
english, 2003
42

Enabling Industrial Symbiosis through a Web-Based Waste Exchange

Année:
2002
Langue:
english
Fichier:
PDF, 295 KB
english, 2002
43

Computing accreditation

Année:
2005
Langue:
english
Fichier:
PDF, 93 KB
english, 2005
44

Towards a semantics of desires (abstract)

Année:
1992
Langue:
english
Fichier:
PDF, 44 KB
english, 1992
45

Women in computing programs

Année:
2003
Langue:
english
Fichier:
PDF, 266 KB
english, 2003